(1909-1975) Fils du docteur André Robinet, qui avait été maire adjoint du VIe arrondissement de Paris, petit-fils du docteur Gabriel Robinet, dont il devait associer le prénom à son nom de famille, et arrière-petit-fils du docteur Jean-François Robinet, qui avait été l'ami et le biographe d'Auguste Comte, Louis Gabriel-Robinet...